(User Identification): user-uid, user-real-uid can return float.

diff --git a/lispref/os.texi b/lispref/os.texi
index 25a925ded6d0a3d5f0829a8c11ef6adc66fe1151..98e63f2a8786032a821bd0cd6324333f8e608f2a 100644 (file)
--- a/lispref/os.texi
+++ b/lispref/os.texi
@@ -917,6 +917,7 @@ Titles}).
 
 @defun user-real-uid
 This function returns the real @sc{uid} of the user.
+The value may be a floating point number.
 
 @example
 @group
@@ -928,6 +929,7 @@ This function returns the real @sc{uid} of the user.
 
 @defun user-uid
 This function returns the effective @sc{uid} of the user.
+The value may be a floating point number.
 @end defun
 
 @node Time of Day